COMMENT ⊗   VALID 00021 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	.app EXTERNAL PUBLICATIONS
C00005 00003	Agin, Gerald J., Thomas O. Binford, "Computer Description of
C00007 00004	Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
C00013 00005	Carhart, R., C. Djerassi, "Applications of Artificial Intelligence
C00019 00006	Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
C00020 00007	Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
C00021 00008	Feigenbaum, E.A., "Computer Applications:  Introductory
C00026 00009	Hieronymus, J. L., N. J. Miller, A. L. Samuel, "The Amanuensis Speech
C00031 00010	Igarashi, S., R. L. London, D. C. Luckham, "Interactive Program Verification:
C00032 00011	Katz, Shmuel, Zohar Manna, "A Heuristic Approach to Program
C00035 00012	Luckham, David C., "Automatic Problem Solving", <Proceedings of the
C00039 00013	Manna, Zohar, "Program Schemas", in <Currents in the Theory of
C00049 00014	Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
C00050 00015	Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
C00053 00016	Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch,
C00064 00017	Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
C00065 00018	Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, "Variable
C00066 00019	Wilks, Yorick, "The Stanford Machine Translation and Understanding
C00070 00020	Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
C00071 00021	.end "pubs"
C00072 ENDMK
C⊗;
.app EXTERNAL PUBLICATIONS
     
Articles and books by Project members that have appeared since July 1973
are listed here alphabetically by lead author.  Earlier publications are
given in our ten-year report [Memo AIM-228] and in diskfile PUBS.OLD [BIB,DOC]
@SU-AI.  The list below is kept in PUBS [BIB,DOC] @SU-AI.

.begin "pubs" ib;
.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXT COLUMN; NEXT EXREF; (EXREF&".  ") ⊃
.indent 0,3; nojust
⊗Agin, Gerald J., Thomas O. Binford, "Computer Description of
Curved Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Ashcroft, Edward, Zohar Manna, Amir Pnueli, "Decidable Properties
of Monodic Functional Schemas", <J. ACM>, July 1973.

⊗Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
Third Int. Joint Conf. on Artificial Intelligence>, Stanford U.,
1973.

⊗Brown, H., Masinter, L., Hjelmeland, L., "Constructive Graph
Labeling Using Double Cosets", <Discrete Mathematics>, 7, 1974.

⊗Buchanan, Bruce, N. S. Sridharan, "Analysis of Behavior of
Chemical Molecules: Rule Formation on Non-Homogeneous Classes of
Objects", <Proceedings of the Third International Joint Conference on
Artificial Intelligence>, Stanford University, August 1973.

⊗Carhart, R., C. Djerassi, "Applications of Artificial Intelligence
for Chemical Inference XI:  The Analysis of C13 NMR Data for Structure
Elucidation of Acyclic Amines", <J. Chem. Soc.> (Perkin II), 1753, 1973.

⊗Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, "Networks and
Generalized Moore Graphs", <Proc. Manitoba Conf. on Numerical Math.,
1973>, (to appear).

⊗Cerf, V. G., D. Cowan, R. C. Mullin, R. G. Stanton, "Topological
Design Considerations in Computer-Communication Networks", in R. L.
Grimsdale, F. F. Kuo (eds.), <Computer Communication Networks>,
Academic Book Services Holland, Netherlands, 1974.

⊗Cerf, V., C. Sunshine, "Protocols and Gateways for Interconnection of
Packet Switching Networks", <Proc. 7th Hawaii International Conf. on
System Sciences>, Western Periodicals Co., Hawaii, January 1974.

⊗Cerf, V. G., R. E. Kahn, "A Protocol for Packet Network Intercommunication",
<IEEE Trans. Communication>, Vol. COM-22, No. 5, May 1974.

⊗Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, "A Partial
Census of Generalized Moore Graphs", <Proc. Australian National
Combinitorics Conference>, May 1974.

⊗Cerf, V. G., "An Assessment of ARPANET Protocols", <Proc. Jerusalem
Conf. on Information Technology>, July 1974.

⊗Cerf, V.G., D. D. Cowan, R. C. Mullin, R. G. Stanton,
"Networks and Generalized Moore Graphs", <Proc.
Manitoba Conference on Numerical Mathematics,> 1974.
 
⊗Cerf, V.G., D. D. Cowan, R. C. Mullin, R. G. Stanton,
"A Lower Bound on Average Path Length in Regular Graphs," <Networks,>
Vol. 4, No. 4, 1974.
 
⊗Cerf, V.G., D. D. Cowan, R. C. Mullin, R. G. Stanton, 
"Trivalent Generalized Moore Networks on Sixteen Nodes,"
<Utilitas Mathematica,> Vol. 6, 1974.
 
⊗Chowning, John M., "The Synthesis of Complex Audio Spectra by means
of Frequency Modulation", <J. Audio Engineering Society>, September
1973.

⊗Colby, Kenneth M., <Artificial Paranoia: A Computer Simulation of
the Paranoid Mode>, Pergamon Press, N.Y., 1974.

⊗Colby, K.M. and Parkison, R.C. "Pattern-matching rules for the Recognition of
Natural Language Dialogue Expressions", <American Journal of Computational
Linguistics>, 1, September 1974.

⊗Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
Controlled Manipulator for Robot Research", <Proc. Third Int. Joint
Conf. on Artificial Intelligence>, Stanford U., 1973.

⊗Dromey, R.G., B. G. Buchanan, J. Lederberg, C. Djerassi,
"Applications of Artificial Intelligence for Chemical Inference. XIV:
A General Method for Predicting Molecular Ions in Mass Spectra".
Journal of Organic Chemistry, 40 , p. 770, 1975.

⊗Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
for Understanding Doctor-Patient Dialogues", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Feigenbaum, E.A., "Computer Applications:  Introductory
Remarks," <Proc. Federation of American Societies
for Experimental Biology,> Vol. 33, No. 12, pp. 2331-2332, Dec. 1974.

⊗Feldman, Jerome A., James R. Low, "Comment on Brent's Scatter
Storage Algorithm", <Comm. ACM>, November 1973.

⊗Hieronymus, J. L., N. J. Miller, A. L. Samuel, "The Amanuensis Speech
Recognition System", <Proc. IEEE Symposium on Speech Recognition>, April 1974.

⊗Hieronymus, J. L., "Pitch Synchronous Acoustic Segmentation", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Hilf, Franklin, "Use of Computer Assistance in Enhancing Dialog Based
Social Welfare, Public Health, and Educational Services in Developing
Countries", <Proc. 2nd Jerusalem Conf. on Info. Technology>, July 1974.

⊗Hilf, Franklin, "Dynamic Content Analysis", <Archives of General Psychiatry,>
January 1975.

⊗Hueckel, Manfred H., "A Local Visual Operator which Recognizes
Edges and Lines", <J. ACM>, October 1973.

⊗Igarashi, S., R. L. London, D. C. Luckham, "Interactive Program Verification:
A Logical System and its Implementation", Acta Informatica, (to appear).

⊗Katz, Shmuel, Zohar Manna, "A Heuristic Approach to Program
Verification", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Luckham, David C., "Automatic Problem Solving", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Luckham, David C., Jack R. Buchanan, "Automatic Generation of
Programs Containing Conditional Statements", <Proc. AISB Summer
Conference>, U. Sussex, July 1974.

⊗Manna, Zohar, "Program Schemas", in <Currents in the Theory of
Computing> (A. V. Aho, Ed.), Prentice-Hall, Englewood Cliffs, N.
J., 1973.

⊗Manna, Zohar, Stephen Ness, Jean Vuillemin, "Inductive Methods for
Proving Properties of Programs", <Comm. ACM>, August 1973.

⊗Manna, Zohar, "Automatic Programming", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Manna, Zohar, <Introduction to Mathematical Theory of
Computation>, McGraw-Hill, New York, 1974.

⊗Masinter, L., N. S. Sridharan, R. Carhart, D. H. Smith, "Applications
of Artificial Intelligence for Chemical Inference XII:  Exhaustive
Generation of Cyclic and Acyclic Isomers", <J. Amer. Chem. Soc.>,
(to appear).

⊗Masinter, L., N. S. Sridharan, R. Carhart, D. H. Smith, "Applications
of Artificial Intelligence for Chemical Inference XII:  Exhaustive
Generation of Cyclic and Acyclic Isomers", <J. Amer. Chem. Soc.>, 96,
p. 7702, 1974.

⊗Masinter, L., N.S. Sridharan, R. Carhart, D.H. Smith, "Applications
of Artificial Intelligence for Chemical Inference. XIII. Labeling
of Objects having Symmetry", <J. Amer. Chem. Soc.,> 96, p. 7714, 1974.

⊗Michie, D., Bruce G. Buchanan, "Current Status of the Heuristic DENDRAL
Program for Applying Artificial Intelligence to the Interpretation of
Mass Spectra", in R. A. G. Carrington (ed.), <Computers for Spectroscopy>,
Adam Hilger, London, 1974.

⊗Miller, N. J., "Pitch Detection by Data Reduction", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Moorer, James A., "The Optimum Comb Method of Pitch Period Analysis
of Continuous Speech", <IEEE Trans. Acoustics, Speech, and Signal
Processing>, Vol. ASSP-22, No. 5, October 1974.

⊗Moorer, James A., "On the Transcription of Musical Sound by Computer",
<USA-JAPAN Computer Conference>, August 1975.

⊗Morales, Jorge J., "Interactive Theorem Proving", <Proc. ACM
National Conference>, August 1973.

⊗Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
of Complex Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
Sagan, "Mariner 9 Picture Differencing at Stanford", <Sky and
Telescope>, August 1973.

⊗Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch,
L. Quam, J. Lederberg, E. Levinthal, R. Tucker, B. Eross, J. Pollack,
"Variable Features on Mars II: Mariner 9 Global Results", <J.
Geophys. Res.>, 78, 4163-4196, 1973.

⊗Schank, Roger C., Neil Goldman, Charles J. Rieger III, Chris
Riesbeck, "MARGIE: Memory, Analysis, Response Generation and
Inference on English", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Schank, Roger C., Kenneth Colby (eds), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Schank, Roger, "The Conceptual Analysis of Natural Language", in R.
Rustin (ed.), <Natural Language Processing>, Algorithmics Press, New
York, 1973. 

⊗Shortliffe, E. H., S. G. Axline, B. G. Buchanan, T. C. Merigan,
S. N. Cohen, "An Artificial Intelligence Program to Advise Physicians
Regarding Antimicrobial Therapy", <Computers and Biomedical Research 6>,
544-560, 1973.

⊗Shortliffe, E. H., S. G. Axline, B. G. Buchanan, S. N. Cohen, "Design
Consultations in Clinical Therapudics", <Proc. Biomedical Symposium>,
San Diego, February 1974.

⊗Smith, D. H., B. G. Buchanan, R. S. Engelmore, H. Aldercruetz,
C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference IX.  Analysis of
Mixtures without Prior Separation as Illustrated for Estrogens",
<J. American Chem. Soc.>, Vol. 95, No. 18, page 6078, 1973.

⊗Smith, D. H., B. G. Buchanan, W. C. White,
E. A. Feigenbaum, J. Lederberg, C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference X.  Intsum.  A Data
Interpretation Program as Applied to the Collected Mass Spectra
of Estrogenic Steroids", <Tetrahedron>, Vol. 29, page 3117, 1973.

⊗Smith, D. H., L. M. Masinter, N. S. Sridharan, "Heuristic DENDRAL:
Analysis of Molecular Structure", <Proc. NATO/CNNA Advanced Study
Institute on Computer Representation and Manipulation of Chemical
Information>, John Wiley and Sons, 1974.

⊗Smith, David Canfield, Horace J. Enea, "Backtracking in
MLISP2", <Proceedings of the Third International Joint Conference on
Artificial Intelligence>, Stanford University, August 1973.

⊗Smith, Leland, "Editing and Printing Music by Computer", <J. Music
Theory>, Fall 1973.

⊗Sobel, Irwin, "On Calibrating Computer Controlled Cameras for
Perceiving 3-D Scenes", <Proc. Third Int. Joint Conf. on Artificial
Intelligence>, Stanford U., 1973; also in Artificial Intelligence J.,
Vol. 5, No. 2, Summer 1974.

⊗Sridharan, N., "Search Strategies for the Task of Organic Chemical
Synthesis", <Proceedings of the Third International Joint Conference
on Artificial Intelligence>, Stanford University, August 1973.

⊗Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
LISP70 Pattern Matching System", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, "Variable
Features on Mars III: Comparison of Mariner 1969 and Mariner 1971
Photography", <Icarus>, 21, 317-368, 1974.

⊗Wilks, Yorick, "The Stanford Machine Translation and Understanding
Project", in R. Rustin (ed.), <Natural Language Processing>,
Algorithmics Press, New York, 1973. 

⊗Wilks, Yorick, "Understanding Without Proofs", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Wilks, Yorick, Annette Herskovits, "An Intelligent Analyser and
Generator of Natural Language", <Proc. Int. Conf. on Computational
Linguistics>, Pisa, Italy, <Proceedings of the Third Internation
Joint Conference on Artificial Intelligence>, Stanford University,
August 1973.

⊗Wilks, Yorick, "The Computer Analysis of Philosophical Arguments",
<CIRPHO>, Vol. 1, No. 1, September 1973

⊗Wilks, Yorick, "An Artificial Intelligence Approach to Machine
Translation", in Schank and Colby (eds.), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Wilks, Yorick, "One Small Head -- Models and Theories in Linguistics",
<Foundations of Language>, Vol. 10, No. 1, January 1974.

⊗Wilks, Yorick, "Preference Semantics", E. Keenan (ed.), <Proc. 1973
Colloquium on Formal Semantics of Natural Language>, Cambridge, U.K.,
1974.

⊗Wilks, Y. "Semantic Procedures and Information", in <Studies in the
Foundations of Communication>, R. Posner (ed.), Springer, Berlin,
forthcoming.

⊗Winograd, Terry, "A Process Model of Language Understanding", 
in Schank and Colby (eds.), <Computer Models of Thought and Language>,
W. H. Freeman, San Francisco, 1973.

⊗Winograd, Terry, "The Processes of Language Understanding" in
Benthall, (ed.), <The Limits of Human Nature>, Allen Lane, London, 1973.

⊗Winograd, Terry, "Language and the Nature of Intelligence," in G.J.
Dalenoort (ed.), <Process Models for Psychology>, Rotterdam Univ.
Press, 1973

⊗Winograd, Terry, "Breaking the Complexity Barrier (again)", <Proc.
SIGPLAN-SIGIR Interface Meeting>, 1973.

⊗Winograd, Terry, "Artificial Intelligence -- When Will Computers
Understand People?", <Psychology Today>, May 1974.

⊗Winograd, Terry, "Parsing Natural Language via Recursive Transition Net",
in Yeh (ed.) <Applied Computation Theory>, Prentice-Hall, 1974.

⊗Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
Decision Theoretic Region Analyzer", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

.end "pubs"